“Survey” of Formal Epistemology: Some Propaganda, and an Example

What is “Formal Epistemology”? Not sure, really. I first heard the term from Sahotra Sarkar in 2003 . It seems that it is quite a broad field, which includes: Ampliative inference (including inductive logic); Game theory and decision theory; Formal learning theory; Formal theories of coherence: Foundations of probability and statistics; Formal approaches to paradoxes of belief and/or action; Belief revision theory; Causal modeling, causal discovery, causal learning. I guess I think of it (nowadays) in even broader terms: Analytic (Western) philosophy which makes serious use of (or does serious philosophy about) formal methods and is not analytic metaphysics. Or, perhaps more concisely: “Core”, non-metaphysics, involving formal methods. I want it to be an area (not called “logic”!), where logic and other formal methods are used, and non-apologetically!